syllogistic normal form
演绎推理范式
热门查询
- QPR abbr. Quarterly Progress Report 季度进度报告
- dissemination n. 宣传；散播；传染（病毒）
- kingfisher n. [鸟] 翠鸟；鱼狗
- divider n. [计] 除法器；分隔物；圆规
- pottery n. 陶器；陶器厂；陶器制造术
- whingeing v. 哀鸣, 气愤地抱怨( whinge的现在分词 )
- Babbage n. 巴贝奇（男子名）
- oratorical adj. 演说的；演说家的；雄辩的
- McNally [人名] [爱尔兰姓氏] 麦克纳利盖尔语姓氏的英语形式，含义是“穷人之子”(son of the poor man)
- exterminating vt. 消灭；根除
- visitable adj. 值得访问的；适于参观的；易受视察的
- Wadsworth [人名] [英格兰人姓氏] 沃兹沃思 Wordsworth的变体; [地名] [美国] 沃兹沃思
- comfortably adv. 舒服地；安乐地；充裕地
- Yemenite n. 也门人 adj. 也门的；也门人的
- shrimper n. 捕虾之人
- joviality n. 愉悦；快活；高兴
- sandy adj. 沙地的；多沙的；含沙的 n. (Sandy)人名；(法、喀、罗、西、英)桑迪(教名Alasdair、Alastair、Alexander、Alister、Elshender的昵称)
- pawnshop n. 当铺
- gravitation n. 重力；万有引力；地心吸力
- leaven vt. 使发酵；影响 vi. 渐变 n. 酵母；酵素；潜移默化的影响
